val x : int * string
val y : int * bool

